1961. Some Current Advanced Researches on Information and Computer Science in Vietnam.

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer science -- Congresses.,Information science -- Congresses,Computers -- Computer Literacy.,علوم کامپیوتر -- کنگره ها,اطلاع رسانی -- کنگره ها ,کامپیوترها -- سواد کامپیوتری

رده :
QA
75
.
5
.
S62
2015
E-Book
,

1962. Some assembly required :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Assembly languages (Electronic computers),Atmel AVR microcontroller-- Programming

رده :
TJ223
.
P76
M36
2012

1963. Sorts and types in artificial intelligence

پدیدآورنده :

موضوع : Artificial intelligence -- Congresses,Logic, Symbolic and mathematical -- Congresses,Sorting )Electronic computers( -- Congresses,Abstract data types )Computer science( -- Congresses

۲ نسخه از این کتاب در ۱ کتابخانه موجود است.

1964. Sorts and types in artificial intelligence : Workshop, Eringerfeld, FRG, April 24-26, 1989 : Proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(

رده :
QA
76
.
L28
Vol
.
418

1965. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(

رده :
Q
334
.
S63
1990

1966. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses

رده :
Q
334
.
S632
1990

1967. Source Code Analytics With Roslyn and JavaScript Data Visualization /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming.,Computer science.,Programming languages (Electronic computers),Software engineering.,Source code (Computer science),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.

رده :
QA76
.
754
.
M85
2016

1968. Special edition using SOAP /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer network protocols.,Electronic data processing-- Distributed processing.,Object-oriented methods (Computer science),Computer network protocols.,COMPUTERS-- Networking-- Network Protocols.,Electronic data processing-- Distributed processing.,Object-oriented methods (Computer science)

رده :
TK5105
.
55
.
M84
2002eb

1969. Specification and analysis of concurrent systems

پدیدآورنده :

موضوع : Parallel processing )Electronic computers(

۲ نسخه از این کتاب در ۱ کتابخانه موجود است.

1970. Specification and analysis of concurrent systems : the COSY approach

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Parallel processing )Electronic computers(

رده :
QA
76
.
58
.
J36
1992

1971. Specification and verification of object-oriented software components.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Electronic computers. Computer science.

1972. Spiele effektiv programmieren

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.

1973. Stabilization, safety, and security of distributed systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer security, Congresses.,Electronic data processing-- Distributed processing-- Safety measures, Congresses.,Self-stabilization (Computer science), Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computer security.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Expert systems-- knowledge-based systems.,Network hardware.,Operating systems.,Self-stabilization (Computer science),Systems analysis & design.

رده :
QA76
.
9
.
S54

1974. Standard COBOL

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، COBOL )Computer program language(,، Electronic digital computers-- Programming

رده :
QA
76
.
5
.
M795

1975. Standard COBOL

پدیدآورنده :

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : COBOL (Computer program language),Electronic digital computers - programming

رده :
001
.
6424C
M972s

1976. Static analysis :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.

رده :
QA76
.
6
.
I5733
2012eb

1977. Static analysis

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses

رده :
QA76
.
6
.
I5733
2009

1978. Static analysis :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses

رده :
QA76
.
6

1979. Static analysis : First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28-30, 1994 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
864

1980. Static analysis : Second International Symposium, SAS'95 Glasgow, UK, September 25-27, 1995 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
983